" Rupak Majumdar" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Computer Science and General Issues)

Javier Esparza, Rupak Majumdar

6.51 Mb

#2

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Computer Science and General Issues)

Javier Esparza, Rupak Majumdar

Категория: Компьютеры

5.39 Mb

#3

Model Checking Software, 15 conf

Klaus Havelund, Rupak Majumdar, Jens Palsberg

Категория: CsLn_

11.26 Mb